Rich Petri net with VDM-SL for Business Process Modeling
نویسنده
چکیده
Today, business process modeling languages as one of the main components of information systems design are discussed. Many of these languages include limitations and possibilities that they cause only certain types of business process can be modeled. Just some of the business processes modeling languages, can support all of perspectives and few of them have real-time descriptions. This study provides a rich modeling language called PVDM, which integrate Petri net with VDM-SL.
منابع مشابه
Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملDeterministic Petri Net languages as Business Process Specification Language
Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for complex verification procedures. Alternatively, the use of Petri Nets as a business process modeling language has been repeatedly proposed. In ...
متن کاملBusiness process verification: a Petri Net approach i
In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the meaningfulness of the distributed business process. We start with a description and motivation of different notio...
متن کاملA Product Design Process Modeling Methodology Based on Petri Net
In order to realize process modeling and management in the product design, a business process modeling methodology is put forward based on Petri net. In this paper, we merge place node and transition node in Petri net, and reserve token element only by analyzing execution mechanism and dispatching principle of Petri net. In parallel design process instances, a sub-token is introduced, which avo...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کامل